A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL
نویسندگان
چکیده
منابع مشابه
A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL
We first briefly describe an algebraic model of classical and modal many-valued logics due to the authors and introduced in previous works. A similar approach, also using Computer Algebra techniques (Gröbner bases) and oriented to perform effective calculus in a continuous logic: Minimal Polynomial Logic (MPL) is presented. The implementation has been developed in the Computer Algebra System Ma...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملMapping propositional and multi-valued logic rule-based expert systems to the CNN-UM
An expert system usually requires a human expert to define rules which describe a law, what can be inferred from the observed or deduced facts by using simple ‘if-then’ structures. This paper presents four possible rule-based expert-system implementations in a CNN-UM (cellular neural network universal machine) dichotomous production system, with a forwardor backward-chaining inference engine, a...
متن کاملA Symbolic-Numeric Approach to Tube Modeling in CAD Systems
In this note we present a symbolic-numeric method to the problem of tube modeling in CAD systems. Our approach is based on the Kirchhoff kinetic analogy which allows us to find analytic solutions to the static Kirchhoff equations for rods under given boundary conditions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Open Applied Mathematics Journal
سال: 2008
ISSN: 1874-1142
DOI: 10.2174/1874114200802010126